measure(C)  q == n:. E(n;s.C(<n, s>)) < q 

latex

---

clarification:

p-measure-le(p;C;q) == n:. expectation(p;n;s.C(<n, s>)) < q 

latex

Definitions	x:A. B(x), , r < s, E(n;F), x.A(x), f(a), <a, b>
FDL editor aliases	p-measure-le